home *** CD-ROM | disk | FTP | other *** search
Makefile | 1992-10-01 | 388 b | 23 lines |
- SHELL=/bin/sh
- MAKE=make
-
- all: default
-
- Makefile.local: ../../config/system ../../config/site
- ./build
-
- default: Makefile.local
- $(MAKE) -f Makefile.local
-
- install: Makefile.local
- $(MAKE) -f Makefile.local install
-
- lint: Makefile.local
- $(MAKE) -f Makefile.local lint
-
- clean: Makefile.local
- $(MAKE) -f Makefile.local clean
-
- distclean: Makefile.local
- $(MAKE) -f Makefile.local distclean
-